Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
231	Type Based Discretionary Access Control? Michele Bugliesi, Dario Colazzo, and Silvia Crafa Universit`a Ca’ Foscari, Venezia Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:54:08 Software engineering Theoretical computer science Object-oriented programming Polymorphism Subtype polymorphism Type system Type theory Data types Programming language theory
232	Domain-Specific Software Component Models Kung-Kiu Lau and Faris M. Taweel School of Computer Science , The University of Manchester Manchester M13 9PL, United Kingdom {Kung-Kiu,Faris.Taweel}@cs.manchester.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-05-11 09:42:53 Object-oriented programming Software development Data model Component-based software engineering Decomposition Domain-specific language SIGNAL D-subminiature Control theory Software engineering Systems engineering Computing
233	A Logic for Encapsulation in Object Oriented Languages (Extended Abstract) Michele Bugliesi1 Dip. di Matematica Pura ed Applicata, Univ. di Padova Via Belzoni 7, IPadova, Italy Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:22:33 Philosophical logic Metalogic Deduction Predicate logic Modal logic Entailment Interpretation Function Proof theory Logic Mathematical logic Model theory
234	Evaluating the dynamic behaviour of Python applications Alex Holkner James Harland School of Computer Science Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:48 Type theory Scripting languages Object-oriented programming Data types Cross-platform software Python Dynamic programming language Type system Dynamic dispatch Software engineering Computing Computer programming
235	Claudio Vittorio Russo UK Address: Nationality: 3F1 12 Dryden Street Date of Birth: Edinburgh, EH7 4PN Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-06-03 18:41:49 Logic in computer science Functional languages Procedural programming languages Programming paradigms Type theory Denotational semantics ML Programming language Common Object Request Broker Architecture Software engineering Computing Theoretical computer science
236	Perl versiondocumentation - IPC::Semaphore NAME IPC::Semaphore - SysV Semaphore IPC object class SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:03:33 Programming language theory POSIX Semaphore Software engineering Stat ALGOL 68 Computing Concurrency control C POSIX library
237	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:18 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
238	How to Define Truth-in-L (Tarski’s semantic definition of truth simplified) Let L be the language for which you’re trying to define truth: the object language. Let M be the language in which you’re framing the defi Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2015-04-27 18:24:40 Mathematics Philosophical logic Predicate logic If and only if Semantic theory of truth FO Logical connective Constructible universe Truth Logic Philosophy Theories of truth
239	Object Calculi in Linear Logic Michele Bugliesi∗ Dipartimento di Matematica, Universit`a di Padova Via Belzoni 7, 35131 Padova, Italy e-mail: Giorgio Delzanno Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:33:56 Formal languages Metalogic Non-classical logic Logical syntax Sequent calculus Sequent Linear logic Entailment Intuitionistic logic Logic Mathematical logic Proof theory
240	1 Implementing Erasure Policies Using Taint Analysis Filippo Del Tedesco, Alejandro Russo, and David Sands Chalmers University of Technology, G¨oteborg, Sweden Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-11-16 07:34:14 Public key fingerprint Software engineering Immutable object Computer programming Erasure Fingerprint Data erasure Computing Coding theory

UPDATE